1
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Год:
2009
Язык:
english
Файл:
PDF, 2.10 MB
0 / 0
english, 2009
2
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks
Год:
2008
Язык:
english
Файл:
PDF, 12.36 MB
0 / 0
english, 2008
3
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks
Год:
2008
Язык:
english
Файл:
PDF, 1.73 MB
0 / 0
english, 2008
4
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Год:
1997
Язык:
english
Файл:
PDF, 9.05 MB
0 / 0
english, 1997
10
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Год:
2009
Язык:
english
Файл:
PDF, 8.45 MB
0 / 0
english, 2009
11
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Год:
1999
Язык:
english
Файл:
PDF, 5.79 MB
0 / 0
english, 1999
12
Provably Correct Systems

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Год:
2017
Язык:
english
Файл:
PDF, 9.41 MB
0 / 0
english, 2017
14
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Год:
1991
Язык:
english
Файл:
PDF, 6.94 MB
0 / 0
english, 1991
15
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Год:
1999
Язык:
english
Файл:
PDF, 6.13 MB
0 / 0
english, 1999
18
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Год:
1999
Язык:
english
Файл:
PDF, 5.53 MB
0 / 0
english, 1999
19
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Год:
1999
Язык:
english
Файл:
DJVU, 1.59 MB
0 / 0
english, 1999